#include "daed_builtins.h"
int main(void)
{
  double x1, x2, x3;
  double res;

  x1 = DBETWEEN_WITH_ULP(-15.0, 15.0);
  x2 = DBETWEEN_WITH_ULP(-15.0, 15.0);
  x3 = DBETWEEN_WITH_ULP(-15.0, 15.0);

  res = -x1 * x2 - 2 * x2 * x3 - x1 - x3;
  DSENSITIVITY(res);

  return 0;
}
